Project Evaluation Paper: Mobile Resource Guarantees
نویسندگان
چکیده
The Mobile Resource Guarantees (MRG) project has developed a proof-carrying-code infrastructure for certifying resource bounds of mobile code. Key components of this infrastructure are a certifying compiler for a high-level language, a hierarchy of program logics, tailored for reasoning about resource consumption, and an embedding of the logics into a theorem prover. In this paper, we give an overview of the project’s results, discuss the lessons learnt from it and introduce follow-up work in new projects that will build on these results.
منابع مشابه
Mobile Resource Guarantees Evaluation Paper
This paper summarises the main outcomes of theMobile Resource Guarantees (MRG) project, a three year project funded by the EC under the FET proactive initiative on Global Computing, and discusses follow-up work in new projects that will build on these results.
متن کاملChapter 1 Mobile Resource Guarantees Evaluation Paper
This paper summarises the main outcomes of the Mobile Resource Guarantees (MRG) project, which focused on a proof-carrying-code (PCC) infrastructure for resources to be applied to mobile code. MRG was a three year project funded by the EC under the FET proactive initiative on Global Computing. We give an overview of the projects’ results, discuss the lessons learnt from it and introduce follow-...
متن کاملChapter 1 Mobile Resource Guarantees Evaluation
The Mobile Resource Guarantees (MRG) project has developed a proof-carrying-code infrastructure for resources to be applied to mobile code. Key components of this infrastructure are a certifying compiler for a high-level language, a hierarchy of program logics, tailored for reasoning about resource consumption, and an embedding of the logics into a theorem prover. In this paper, we give an over...
متن کاملMobile Resource Guarantees and Policies
This paper introduces notions of resource policy for mobile code to be run on smart devices, to integrate with the proof-carrying code architecture of the Mobile Resource Guarantees (MRG) project. Two forms of policy are used: guaranteed policies which come with proofs and target policies which describe limits of the device. A guaranteed policy is expressed as a function of a methods input size...
متن کاملResource Allocation Rules to Provide QoS Guarantees to Traffic Aggregates in a DiffServ Environment
In this paper, we present a resource allocation protocol and the relevant allocation rules to provide end-to-end QoS guarantees to traffic aggregates in a DiffServ environment. The work is realized within the SUITED project, whose main goal is allowing mobile and portable broadband connectivity to end users with different degrees of QoS, to adequately support future Internet applications, such ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006